Fault-tolerant design - PDFSEARCH.IO - Document Search Engine

Fault-tolerant design
Results: 176

#	Item
81	Automated Stream-Based Analysis of Fault-Tolerance Scott D. Stoller1 and Fred B. Schneider2 1 Computer Science Dept., Indiana University, Bloomington, IN 47405, USA Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:33:32 Failure Reliability engineering Functions and mappings Cryptography Theory of computation Fault-tolerant design Distributed computing Function Infinite loop Mathematics Computer programming Computing
82	The Fail-Stop Processor Approach* Fred B. Schneider Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-16 13:49:00 Software engineering Fault-tolerant computer systems Failure Reliability engineering Fault-tolerant system Assertion Parallel computing Database Fault-tolerant design Computing Systems engineering Software quality
83	Al Jazeera Paints NEC Fault Tolerant servers for better productivity Saudi Arabia’s Al Jazeera Paints leverage NEC Fault Tolerant (FT) Servers to improve production processes Al-Jazeera Paints Factory, a division of Al Add to Reading List Source URL: www.nec-enterprise.com Language: English - Date: 2013-09-18 07:26:32 Arab Spring Fault-tolerant computer systems Server NEC Computer cluster Fault-tolerant design Computing Electronics Al Jazeera
84	Noname manuscript No. (will be inserted by the editor) Deriving Fault-Detection Mechanisms from Safety Requirements Dominik Sojer · Christian Buckl · Alois Knoll Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-05-15 08:23:50 Security Systems engineering Software requirements Design for X Fault injection Safety engineering DO-178B Requirement Fault-tolerant design Reliability engineering Safety Software development
85	On the Replication of Positivist Case Study Research Add to Reading List Source URL: is2.lse.ac.uk Language: English - Date: 2007-05-15 09:43:04 Design of experiments Fault-tolerant computer systems Data synchronization Replication Evaluation methods Case study Psychology Self-replication Statistics Science Computer storage
86	The state machine approach: A tutorial Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:00:43 Systems science Byzantine fault tolerance Fault-tolerant system Distributed computing State machine replication Replication Fault-tolerant design Life-critical system Fault-tolerant computer systems Computing Systems engineering
87	Allen Clement Research Statement Computer systems are a pervasive aspect of daily life. From the smart phones we use to access our favorite websites, to the services those websites provide, to the computer systems that Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-31 12:27:41 Symposium on Operating Systems Principles Byzantine fault tolerance Operating Systems Design and Implementation Distributed computing USENIX Fault-tolerant design Replication Fault-tolerant system Dependability Computing Fault-tolerant computer systems Systems engineering
88	Chapter 2: What Good are Models and What Models are Good? Fred B. Schneider* Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:34:20 Byzantine fault tolerance Distributed computing Replication Fault-tolerant design Fault-tolerant system Communications protocol Virtual synchrony State machine replication Fault-tolerant computer systems Computing Consensus
89	Formal Methods in System Design, 26, 183–196, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Automated Analysis of Fault-Tolerance in Distributed Systems∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-28 15:10:56 Inter-process communication Distributed computing Infinite loop Fault-tolerant computer systems Message passing Function Byzantine fault tolerance State machine replication Computing Computer programming Concurrent computing
90	DAEM9105_source.nohead.pdf Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-05-22 08:21:43 Fault-tolerant computer systems Reliability engineering Engineering Software quality Control engineering Fault-tolerant system Fault-tolerant design Redundancy Fault detection and isolation Systems engineering Systems theory Systems science

UPDATE